Hiroki Oshikawa wkwkes

## keybase.md

      
              1 file
            
          
              0 forks
            
          
              0 comments
            
          
              0 stars
            
          
                wkwkes
                / keybase.md
            
            
              Created
              September 27, 2017 15:01
            
          
    Keybase proof

I hereby claim:

I am wkwkes on github.
I am wkwkes (https://keybase.io/wkwkes) on keybase.
I have a public key whose fingerprint is 4759 58CE 6692 5374 6D8B  3B2C 7F8C F69D E349 638C

To claim this, I am signing this object:

  
## basic_fc.ml

(** basic definition **)

module type ExpSYM = sig
  type repr
  val lit : int -> repr
  val neg : repr -> repr
  val add : repr -> repr -> repr
end

	( basic definition )

	module type ExpSYM = sig
	type repr
	val lit : int -> repr
	val neg : repr -> repr
	val add : repr -> repr -> repr
	end