blob: 4101c879498bd289f26ec342816e585ab0000f7f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
module Soat.SecondOrder.Signature
%default total
public export
record Signature where
constructor MkSignature
0 T : Type
0 O : T -> List (Pair (List T) T) -> Type
public export
record Op (0 sig : Signature) (0 t : sig.T) where
constructor MkOp
{arity : List (Pair (List sig.T) sig.T)}
op : sig.O t arity
|
